1. .....................
پدیدآورنده : Dahl, Ole - John
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers
رده :
QA
76
.
6
.
D33
2. Communicating sequential processes
پدیدآورنده : C. A. R. Hoare
موضوع : Electronic digital computers- Programming,Parallel processing (electronic computers)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Communicating sequential processes
پدیدآورنده : / C.A.R. Hoare
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic digital computers -- Programming,Parallel processing (Electronic computers)
رده :
QA76
.
6
.
H57
1985
4. Communicating sequential processes
پدیدآورنده : Hoare, Carles Antony Richard
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، Parallel processing )Electronic computers(
رده :
QA
76
.
6
.
H57
1985
5. Communicating sequential processes
پدیدآورنده : / C. A. R. Hoare
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Electronic digital computers - Programming,Parallel processing electronic
رده :
QA76
.
6
.
H57
1985
6. Communication sequential processes
پدیدآورنده : C. A. R. Hoare
موضوع : Electronic digital computers--Programming,Parallel processing (Electronic computers)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
7. Developments in concurrency and communication
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Parallel processing )Electronic computers(
8. Discrete groups and geometry :
پدیدآورنده : edited by W.J. Harvey, in collaboration with C. Maclachlan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Discrete groups, Congresses.,Geometry, Congresses.,Discrete groepen.,Discrete groups.,Géométrie-- Congrès.,Geometry.,Groupes discrets-- Congrès.,MATHEMATICS-- Group Theory.,Meetkunde.
رده :
QA178
.
D57
1992eb
9. Essays in computing science
پدیدآورنده : C.A.R. Hoare ; C.B. Jones, editor
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Electronic data processing,Computers
رده :
QA
،
76
،.
H56
،
1989
10. Essays in computing science /
پدیدآورنده : C.A.R. Hoare ; C.B. Jones, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Hoare, C. A. R.-- Bibliography.,Computers.,Electronic data processing.,Bibliography-- Hoare, C.A.R.,Computers.,Electronic data processing.
رده :
QA76
.
5
11. European diplomacy between two wars, 1919- 1939
پدیدآورنده : Edited with an introd. by Hans W. Gatzke
کتابخانه: كتابخانه دانشكده حقوق و علوم سیاسی دانشگاه تهران (تهران)
موضوع : Europe-- Politics-- 1918-1945-- Addresses, essays, lectures,World War, 1939-1945-- Causes-- Addresses, essays, lectures,Germany-- Foreign relations-- 1918-1945-- Addresses, essays, lectures,Germany- Foreign relations-- 1933-1945-- Addresses, essays, lectures
رده :
D727
.
G38
12. Handbook of research on adult learning and development /
پدیدآورنده : edited by M. Cecil Smith ; with Nancy DeFrates-Densch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Adult education-- Research, Handbooks, manuals, etc.,Adult learning-- Research, Handbooks, manuals, etc.,Adult.,Cognition.,Learning.,79.63 adult education.,Adult education-- Research.,Adult learning-- Research.,Onderzoek.,Ontwikkelingspsychologie.,Volwasseneneducatie.
رده :
LC5225
.
R47
H36
2009
13. Image and imagination :
پدیدآورنده : by C.S. Lewis ; edited by Walter Hooper.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع :
14. Mathematical logic and programming language
پدیدآورنده : Hoare, C. A. R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
15. Mathematical logic and programming languages
پدیدآورنده : edited by C.A.R. Hoare and J.C. Shepherdson
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
16. Mathematical logic and programming languages
پدیدآورنده : / Edited by C. A. R. Hoare, J. C. Shepherdson
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Programming languages (Electronic computers),Logic, symbolic and mathematical
رده :
QA76
.
6
.
M3646
1985
17. Molecular mechanisms of notch signaling /
پدیدآورنده : Tilman Borggrefe, Benedetto Daniele Giaimo, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cellular signal transduction.,Notch proteins.,Receptors, Notch-- metabolism.,Signal Transduction-- physiology.,Cellular signal transduction.,Notch proteins.,Proteins.,SCIENCE-- Life Sciences-- Anatomy & Physiology.
رده :
QP517
.
C45
18. Operating systems techniques; proceedings
پدیدآورنده : edited by C. A. R. Hoare )and( R. H. Perrott,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Operating systems )Computers( - Congresses
رده :
QA
.
I57
76
.
6
1971
19. Operating systems techniques; proceedings
پدیدآورنده : International Seminar on Operating Systems Techniques, )1791, Queen's University of Belfast(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Operating systems )Computers(-- Congresses
رده :
QA
76
.
6
.
I57
1971
20. Program verification :
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
رده :
QA76
.
76
.
V47
P764
2013